<script>window.location = 'spec/index.html'</script>
